Démonstration formelle

Démonstration formelle - séquence finie de propositions dont chacun est un axiome, une hypothèse, ou résulte des propositions précédentes. L'article "Démonstration formelle" sur Wikipédia en français a 9.4 points pour la qualité (au 1 novembre 2023). L'article contient 1 références et 8 sections.

Cet article a la meilleure qualité sur Wikipédia en anglais. De plus, cet article est le plus populaire dans cette version linguistique.

Depuis la création de l'article "Démonstration formelle", son contenu a été rédigé par 4 utilisateurs enregistrés de Wikipédia en français et édité par 124 utilisateurs Wikipédia enregistrés dans toutes les langues.

L'article est cité 14 fois dans Wikipédia en français et cité 1018 fois dans toutes les langues.

Le rang d’intérêt des auteurs le plus élevé depuis 2001:

• Local (français): n° 23468 en août 2016
• Mondial: n° 76650 en juin 2005

Le classement de popularité le plus élevé depuis 2008:

• Local (français): n° 562526 en septembre 2022
• Mondial: n° 192948 en juin 2010

Il existe 8 versions linguistiques pour cet article dans la base de données WikiRank (sur les 55 éditions linguistiques Wikipédia considérées).

L'évaluation de la qualité et de la popularité est basée sur les dumps Wikipédia du 1 novembre 2023 (y compris l'historique des révisions et les pages vues des années précédentes).

Le tableau ci-dessous présente les versions linguistiques de l'article de la plus haute qualité.

#	Langue	Niveau de qualité	Score de qualité
1	anglais (en) Formal proof		23.4826
2	italien (it) Dimostrazione		21.8174
3	portugais (pt) Derivação formal		15.8068
4	espagnol (es) Prueba formal		13.7174
5	arabe (ar) برهان فلسفي		10.8411
6	français (fr) Démonstration formelle		9.4466
7	ukrainien (uk) Доказ (логіка)		2.4202
8	néerlandais (nl) Formeel bewijs		1.7914

Plus...

Le tableau suivant présente les versions linguistiques les plus populaires de l'article.

Les versions linguistiques les plus populaires de l'article "Démonstration formelle" dans tout le temps

#	Langue	Prix de popularité	Popularité relative
1	anglais (en) Formal proof		466 528
2	arabe (ar) برهان فلسفي		149 064
3	italien (it) Dimostrazione		103 644
4	portugais (pt) Derivação formal		25 765
5	espagnol (es) Prueba formal		12 935
6	ukrainien (uk) Доказ (логіка)		10 863
7	néerlandais (nl) Formeel bewijs		5 088
8	français (fr) Démonstration formelle		4 216

Plus...

Le tableau suivant présente les versions linguistiques de l'article le plus populaire au cours du mois dernier.

Les versions linguistiques les plus populaires de l'article "Démonstration formelle" en octobre 2023

#	Langue	Prix de popularité	Popularité relative
1	anglais (en) Formal proof		2 730
2	arabe (ar) برهان فلسفي		974
3	italien (it) Dimostrazione		317
4	ukrainien (uk) Доказ (логіка)		131
5	espagnol (es) Prueba formal		81
6	français (fr) Démonstration formelle		59
7	portugais (pt) Derivação formal		58
8	néerlandais (nl) Formeel bewijs		17

Plus...

Le tableau suivant présente les versions linguistiques de l'article présentant le plus grand intérêt des auteurs.

Versions linguistiques de l'article "Démonstration formelle" présentant le plus grand intérêt des auteurs. Seuls les utilisateurs enregistrés de Wikipédia ont été comptés.

#	Langue	Prox de IA	IA relatif
1	anglais (en) Formal proof		40
2	italien (it) Dimostrazione		38
3	arabe (ar) برهان فلسفي		14
4	portugais (pt) Derivação formal		11
5	ukrainien (uk) Доказ (логіка)		10
6	néerlandais (nl) Formeel bewijs		5
7	français (fr) Démonstration formelle		4
8	espagnol (es) Prueba formal		2

Plus...

Le tableau suivant montre les versions linguistiques de l'article ayant suscité le plus grand intérêt des auteurs au cours du mois dernier.

Versions linguistiques de l'article "Démonstration formelle" présentant le plus grand intérêt des auteurs en octobre 2023

#	Langue	Prox de IA	IA relatif
1	anglais (en) Formal proof		1
2	arabe (ar) برهان فلسفي		0
3	espagnol (es) Prueba formal		0
4	français (fr) Démonstration formelle		0
5	italien (it) Dimostrazione		0
6	néerlandais (nl) Formeel bewijs		0
7	portugais (pt) Derivação formal		0
8	ukrainien (uk) Доказ (логіка)		0

Plus...

Le tableau suivant présente les versions linguistiques de l'article avec le plus grand nombre de citations.

Versions linguistiques de l'article "Démonstration formelle" avec l'indice de citation (IC) le plus élevé

#	Langue	Prix ​​de IC	IC relatif
1	anglais (en) Formal proof		466
2	portugais (pt) Derivação formal		175
3	italien (it) Dimostrazione		137
4	ukrainien (uk) Доказ (логіка)		134
5	arabe (ar) برهان فلسفي		71
6	français (fr) Démonstration formelle		14
7	espagnol (es) Prueba formal		13
8	néerlandais (nl) Formeel bewijs		8

Plus...

#	Langue	Valeur
ar	arabe برهان فلسفي
en	anglais Formal proof
es	espagnol Prueba formal
fr	français Démonstration formelle
it	italien Dimostrazione
nl	néerlandais Formeel bewijs
pt	portugais Derivação formal
uk	ukrainien Доказ (логіка)

Meilleur rang

français: n° 562526 09.2022

Mondial: n° 192948 06.2010

Meilleur rang

français: n° 23468 08.2016

Mondial: n° 76650 06.2005

Au 2 juillet 2024 sur Wikipédia multilingue, les internautes lisent le plus souvent des articles sur les thèmes suivants: championnat d'Europe de football 2024, championnat d'Europe de football, Cristiano Ronaldo, Diogo Costa, Merih Demiral, Copa América 2024, Arda Güler, équipe de Turquie de football, Copa América, Vice-versa 2.

Sur Wikipédia en français, les articles les plus populaires ce jour-là étaient: Jordan Bardella, Cookie (informatique), Liste de sondages sur les prochaines élections législatives françaises, Marine Tondelier, Championnat d'Europe de football 2024, Le Comte de Monte-Cristo, Élections législatives françaises de 2024, Laure Lavalette, Jean-Pierre Descombes, Nino Vella.

Le projet est destiné à l'évaluation relative automatique des articles dans les différentes versions linguistiques de Wikipédia. À l'heure actuelle, le service permet de comparer plus de 44 millions d'articles Wikipédia dans 55 langues. Les scores de qualité des articles sont basés sur les dumps Wikipédia de novembre 2023. Lors du calcul de la popularité actuelle et de l’intérêt des auteurs pour les articles, les données de octobre 2023 Pour les valeurs historiques de popularité et d’intérêt des auteurs, WikiRank a utilisé des données de 2001 à 2023... Plus d'information